Review by: Elliott Mendelson: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

On Constructing Models for Arithmetic.by Dana Scott

Review by: Elliott Mendelson

Journal:

Journal of Symbolic Logic

Year:

1973

Language:

english

File:

PDF, 130 KB

english, 1973

2

Foundations of Mathematical Logic.by Haskell B. Curry

Review by: Elliott Mendelson

Journal:

American Mathematical Monthly

Year:

1965

Language:

english

File:

PDF, 351 KB

english, 1965

3

Process and Existence in Mathematicsby Hao Wang

Review by: Elliott Mendelson

Journal:

Journal of Symbolic Logic

Year:

1965

Language:

english

File:

PDF, 213 KB

english, 1965

4

On the Definition of an Algorithm.by A. N. Kolmogorov; V. A. Uspénskij

Review by: Elliott Mendelson

Journal:

Journal of Symbolic Logic

Year:

1973

Language:

english

File:

PDF, 103 KB

english, 1973

5

On Models of Set Theory with Urelements.by Azriel Lévy

Review by: Elliott Mendelson

Journal:

Journal of Symbolic Logic

Year:

1971

Language:

english

File:

PDF, 151 KB

english, 1971

6

Logic, Methodology, and Philosophy of Science. Three Reviews;Logic, Methodology, and Philosophy of Scienceby Ernest Nagel; Patrick Suppes; Alfred Tarski

Review by: Elliott Mendelson, Richard C. Jeffrey and Ernest Adams

Journal:

The Journal of Philosophy

Year:

1964

Language:

english

File:

PDF, 2.14 MB

english, 1964

7

The Incomplete Universe: Totality, Knowledge, and Truth.by Patrick Grim

Review by: Elliott Mendelson

Journal:

The Philosophical Quarterly

Year:

1994

Language:

english

File:

PDF, 144 KB

english, 1994

8

Symbolic Logic and Language, a Programmed Text.by James Dickoff; Patricia James

Review by: Elliott Mendelson

Journal:

American Mathematical Monthly

Year:

1966

Language:

english

File:

PDF, 94 KB

english, 1966

9

Logic for Mathematicians, 2nd edby J. Barkley Rosser

Review by: Elliott Mendelson

Journal:

American Scientist

Year:

1980

Language:

english

File:

PDF, 332 KB

english, 1980

10

Measurement: Definitions and Theoriesby C. West Churchman; Philburn Ratoosh

Review by: Elliott Mendelson

Journal:

The Journal of Philosophy

Year:

1960

Language:

english

File:

PDF, 110 KB

english, 1960

11

Recherches sur la Theorie Generale des Systemes Formels.by J. Porte

Review by: Elliott Mendelson

Journal:

American Mathematical Monthly

Year:

1967

Language:

english

File:

PDF, 341 KB

english, 1967

12

The Language of Logic.by H. Freudenthal

Review by: Elliott Mendelson

Journal:

American Mathematical Monthly

Year:

1968

Language:

english

File:

PDF, 248 KB

english, 1968

13

Problems in Set Theory, Mathematical Logic and the Theory of Algorithmsby Igor Lavrov; Larisa Maksimova; Giovanna Corsi

Review by: Elliott Mendelson

Journal:

Year:

2005

Language:

english

File:

PDF, 267 KB

english, 2005

14

Axiomatic Set Theoryby Paul Bernays

Review by: Elliott Mendelson

Journal:

Journal of Symbolic Logic

Year:

1959

Language:

english

File:

PDF, 345 KB

english, 1959

15

On Models of Axiomatic Set-Theoryby A. Mostowski

Review by: Elliott Mendelson

Journal:

Journal of Symbolic Logic

Year:

1967

Language:

english

File:

PDF, 387 KB

english, 1967

16

A Reduction Theorem for Normal Algorithmsby J. W. Swanson

Review by: Elliott Mendelson

Journal:

Journal of Symbolic Logic

Year:

1967

Language:

english

File:

PDF, 203 KB

english, 1967

17

On a Practical Way of Describing Formal Deductionsby Katuzi Ono;New Formulation of the Axiom of Choice by Making use of the Comprehension Operatorby Katuzi Ono

Review by: Elliott Mendelson

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 211 KB

english, 1969

18

Algorithms and Recursive Functionsby A. I. Mal'cév

Review by: Elliott Mendelson

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 214 KB

english, 1969

19

The Independence of the Axiom of Choice from the Boolean Prime Ideal Theoremby J. D. Halpern

Review by: Elliott Mendelson

Journal:

Journal of Symbolic Logic

Year:

1967

Language:

english

File:

PDF, 317 KB

english, 1967

20

(Lékcii o vyčislimyh funkciáh)Lectures on Computable Functionsby V. A. Uspénskij

Review by: Elliott Mendelson

Journal:

Journal of Symbolic Logic

Year:

1966

Language:

english

File:

PDF, 315 KB

english, 1966

21

A Note on Theories with Selectorsby R. Montague; R. L. Vaught

Review by: Elliott Mendelson

Journal:

Journal of Symbolic Logic

Year:

1960

Language:

english

File:

PDF, 131 KB

english, 1960

22

Natural Models of Set Theoriesby R. Montague; R. L. Vaught

Review by: Elliott Mendelson

Journal:

Journal of Symbolic Logic

Year:

1960

Language:

english

File:

PDF, 96 KB

english, 1960

23

Polno numérovannyé množéstva (Complete Enumeration of a Set)by A.I. Mal'cév;K téorii vyčislimyh séméjstv obéktov (On the Theory of Computable Families of Objects)by A.I. Mal'cév;Pozitivnyé i négativnyé numéracii (Positive and Negative Numerations)by A.I. Mal'cév

Review by: Elliott Mendelson

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 375 KB

english, 1970

24

On Frequential Computation of Functions.by B. A. Trahténbrot

Review by: Elliott Mendelson

Journal:

Journal of Symbolic Logic

Year:

1974

File:

PDF, 180 KB

1974

25

Algebras of recursive functions).by É. A. Polákov;On some properties of algebras of recursive functions.by E. A. Polakov

Review by: Elliott Mendelson

Journal:

Journal of Symbolic Logic

Year:

1972

Language:

english

File:

PDF, 206 KB

english, 1972

26

Mathematical Logicby Yu. L. Ershov; E. A. Palyutin

Review by: Elliott Mendelson

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 82 KB

english, 1986

27

Set Theory & Logicby A. A. Fraenkel

Review by: Elliott Mendelson

Journal:

American Scientist

Year:

1967

Language:

english

File:

PDF, 401 KB

english, 1967

28

Mathematical Logicby J. R. Shoenfield

Review by: Elliott Mendelson

Journal:

American Scientist

Year:

1968

Language:

english

File:

PDF, 251 KB

english, 1968

29

Finite Models for Inequalitiesby M. D. Gladstone

Review by: Elliott Mendelson

Journal:

Journal of Symbolic Logic

Year:

1968

Language:

english

File:

PDF, 215 KB

english, 1968

30

Many-Valued Logicby Nicholas Rescher

Review by: Elliott Mendelson

Journal:

The Journal of Philosophy

Year:

1970

Language:

english

File:

PDF, 111 KB

english, 1970

31

Philosophical Problems of Many-Valued Logicby A. A. Zinov'ev; Guido Küng; David Dinsmore Comey

Review by: Elliott Mendelson

Journal:

The Journal of Philosophy

Year:

1966

Language:

english

File:

PDF, 133 KB

english, 1966

32

Numbers, Sets, and Axioms: The Apparatus of Mathematicsby A. G. Hamilton

Review by: Elliott Mendelson

Journal:

American Scientist

Year:

1984

Language:

english

File:

PDF, 368 KB

english, 1984

33

Naive Set Theoryby Paul R. Halmos;Axiomatic Set Theoryby Patrick Suppes

Review by: Elliott Mendelson

Journal:

The Journal of Philosophy

Year:

1960

Language:

english

File:

PDF, 168 KB

english, 1960

34

Aspects of Incompletenessby Per Lindström

Review by: Elliott Mendelson

Journal:

Year:

1999

Language:

english

File:

PDF, 383 KB

english, 1999